formális logika: a klasszikus, arisztotelészi alapokra épülő →logika, amelyet a skolasztika is magába olvasztott. Tárgya a →fogalom, az →ítélet és a →következtetések.
A lexikon a budapesti Pálos Könyvtárban készült 1980 és 2013 között. A honlapon a korabeli szócikkek olvashatók, az újabb eseményeket, kutatási eredményeket a szócikkek nem tartalmazzák.